Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
841	A field based representation for vague areas defined by spatial prepositions Mark M. Hall, Christopher B. Jones School of Computer Science Cardiff University Cardiff CF24 3AA, Wales, United Kingdom [M.M.Hall, C.B.Jones]@ Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2008-11-24 18:48:37 Fuzzy logic Spatial data analysis Geography Artificial intelligence Logic in computer science Spatial analysis Geographic information system Spatial–temporal reasoning Active contour model Statistics Logic Mathematical logic
842	COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple, Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Mathematical logic Logic in computer science Substructural logic Hoare logic Logic Separation logic Hoare Correctness Predicate transformer semantics Program logic Theoretical computer science Mathematics
843	Fuzzy Spatial Data Types for Spatial Uncertainty Management in Databases Markus Schneider University of Florida Department of Computer & Information Science & Engineering Gainesville, FL 32611, USA Add to Reading List Source URL: www.cise.ufl.edu Language: English - Date: 2007-06-19 17:35:57 Fuzzy concept Fuzzy set Spatial analysis Rough set Membership function Spatial database Vagueness Type-2 fuzzy sets and systems Fuzzy classification Logic Fuzzy logic Mathematical logic
844	Microsoft Word - Chapter.docx Add to Reading List Source URL: www.cise.ufl.edu Language: English - Date: 2009-09-11 17:44:09 Fuzzy logic Spatial data analysis Geography Artificial intelligence Logic in computer science Spatial analysis Spatial database Fuzzy concept Vagueness Statistics Logic Mathematical logic
845	Expecting the Unexpected: to what extent does simulation help professionals to prepare for rare events in childbearing? Angela Hewett, School of Healthcare. Add to Reading List Source URL: www.leeds.ac.uk Language: English - Date: 2013-01-23 11:18:53 Pregnancy Logic simulation Quantitative analyst Mathematical sciences Science Medicine Operations research Simulation Obstetrics
846	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
847	Outline Part I Residuated Lattices Universal Algebra Add to Reading List Source URL: mathcs.chapman.edu Language: English - Date: 2009-01-10 03:41:36 Lattice theory Fuzzy logic Algebraic structures Mathematical logic Order theory Residuated lattice Lattice Monoidal t-norm logic Heyting algebra Abstract algebra Mathematics Logic
848	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
849	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
850	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:40:18 Logicians Non-classical logic Philosophical logic Epistemic modal logic Plagiarism Mathematical logic Johan van Benthem Logic Science Modal logic